Analytical Validation Tools for Safety Critical Systems
نویسندگان
چکیده
The current practice to validate flight control laws relies on applying linear analysis tools to assess the closed loop stability and performance characteristics about many trim conditions. Nonlinear simulations are then used to provide further confidence in the linear analyses and also to uncover dynamic characteristics, e.g. limit cycles, which are not revealed by the linear analysis. This paper reviews analysis techniques which can be applied to nonlinear systems described by polynomial dynamic equations. The proposed approach is to reduce the analysis problems to a sum-of-squares optimization problem which can then be solved with freely available software. These techniques can fill the gap between linear analysis and nonlinear simulations and hence can be used to provide additional confidence in the flight control law performance.
منابع مشابه
Development of Advanced Verification and Validation Procedures and Tools for the Certification of Learning Systems in Aerospace Applications
Adaptive control technologies that incorporate learning algorithms have been proposed to enable automatic flight control and vehicle recovery, autonomous flight, and to maintain vehicle performance in the face of unknown, changing, or poorly defined operating environments. In order for adaptive control systems to be used in safety-critical aerospace applications, they must be proven to be highl...
متن کاملNuDE: Development Environment for Safety-Critical Software of Nuclear Power Plant
Safety-critical systems are systems where it is essential that system operation is always safe [1]. Therefore, rigorous quality demonstration is important when developing software in safety-critical system. Generally, safety-critical software demands extremely high-confidence verification and validation (V&V) techniques. Additionally, software V&V should be performed in parallel with software d...
متن کاملIs Model-Based Development a Favorable Approach for Complex and Safety-Critical Computer Systems on Commercial Aircraft?
A system is safety-critical if its failure can endanger human life or cause significant damage to property or the environment. State-of-the-art computer systems on commercial aircraft are highly complex, softwareintensive, functionally integrated, and network-centric systems of systems. Ensuring that such systems are safe and comply with existing safety regulations is costly and time-consuming ...
متن کاملAn integrated environment of S/W specification and V&V for safety-critical systems
As a digital system becomes more important in recent years, software specification and analysis techniques become a central problem in the safety-critical systems. Therefore, the importance of software verification and validation (V&V) based on an adequate specification is more emphasized in view of the software quality. For a thorough V&V, it should be performed throughout whole software life ...
متن کاملValidation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench
The integrated EU-project DECOS (Dependable Embedded Components and Systems) aims at developing an integrated architecture for embedded systems to reduce life-cycle costs and to increase dependability of embedded applications. To facilitate the certification process of DECOS-based applications, the DECOS Test Bench constitutes a framework to support Validation & Verification. By implementing a ...
متن کاملEmbedded Systems in Avionics and the Sacres Approach
This paper presents an industrial experiment in avionics of the programming environment Sildex based on the synchronous model, and an approach to the design and implementation of such safety critical embedded systems, developped in the framework of the Esprit project Sacres. The goal of the project is to integrate into a complete and uniied environment , around the synchronous models technology...
متن کامل